退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用pVs验证精确算术的算法
Lester, David; Gowland, Paul;
机译:使用PVS验证精确算法的算法
机译:具有精确实数算法的抽象状态机中的2类有效性
机译:算术余弦变换:精确算法和近似算法
机译:使用PVS验证精确算术的逆三角函数
机译:使用精确算术的Gomory切割平面算法。
机译:快速精确/准精确的FBp算法三源螺旋锥束CT
机译:使用为量子计算开发的精确算术库的p-adic循环码的算法和实现。
机译:使用快速精确/准精确滤波反投影算法的心脏计算机断层扫描方法和系统
机译:使用快速/准精确滤波后向投影算法的心脏计算机断层扫描方法和系统
机译:多象限插值算法的均值互补算法进行数理数据处理的装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。